101. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
Author: A. Bensoussan, J.-P. Verjus )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
Classification :
QA
76
.
L4
v
.
653
102. Future tendencies in computer science, control and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992 : proceedings
Author: A. Bensoussan, J.-P. Verjus )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Automatic control,Congresses ، Mathematics
Classification :
QA
76
.
L28
Vol
.
653
103. Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Automatic control-- Congresses,، Mathematics-- Congresses
Classification :
QA
76
.
5
.
I5484
1992
104. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
.
G6
1996a
105. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6
106. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996
107. Grammars and Automata for string processing : From mathematics and computer science to biology and Bach
Author: Edited by Carlos Martin Vide, Victor Mitrana
Library: Library of Islamic Azad University, Qom branch (Qom)
Subject: Computer science,Mathematics,Molecular biology
Classification :
QA
.
G72
76
2003
108. Grammars and automata for string processing: from mathematics and computer science to biology, and back
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
Classification :
QA
76
.
G64
2003
109. Grammars and automata for string processing : from mathematics and computer science to biology, and back
Author: edited by Carlos Martin-Vide and Victor Mitrana
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
Classification :
QA
76
.
G69
110. Introduction to computer science mathematics
Author: / Robert V. Jamison
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Mathematics - 1961-
Classification :
510
J32i
111. Introduction to computer science mathematics
پدیدآورنده : Jamison, Robert V
موضوع : ، Mathematics-1691-
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
112. Introduction to computer science mathematics
Author: / (by) Robert V. Jamison
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics
Classification :
QA
39
.
2
.
J35
113. Introduction to computer science mathematics
Author: JAMISON,ROBERT V
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: MATHEMATICS-1961-
Classification :
QA
39
.
2
.
J35
114. Introduction to computer science mathematics
Author: Jamison, Robert V.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Mathematics-1961-
Classification :
510
J32i
115. Lectures on discrete mathematics for computer science
Author: Bakhadyr Khoussainov, Nodira Khoussainova
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Textbooks ، Computer science -- Mathematics
Classification :
QA
76
.
9
.
M35K46
116. Logic, Mathematics, and Computer Science.
Author: \ Yves Nievergelt
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Mathematics,Logic, symbolic and mathematical,Number theory,ریاضیات,منطق ریاضی,نظریه اعداد,a03,a04,a05,a03,a04,a05
Classification :
QA
37
.
N5L6
2015
E-Book
,
117. Logic, Mathematics, and Computer Science
Author: Yves Nievergelt
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: LINGUISTICS AND LANGUAGE
118. Logic and discrete mathematics: A computer science oerspective
پدیدآورنده : Winfied Karl Grassmann, Jean-Paul Tremblay
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
119. Logic and discrete mathematics: a computer science perspectine
Author: Grassmann, Winfried Karl
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Logic, Symbolic and mathematical ► Computer science-mathematics
Classification :
005
G878l
120. Logic and discrete mathematics : a computer science perspective
Author: Grassmann, Winfried K.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics
Classification :
QA
76
.
9
.
M35
G725
1996
